On the powersets of singular cardinals in HOD
نویسندگان
چکیده
From the assumption that there is a measurable cardinal κ with o(κ) = κ, we produce a model in which for all x ⊆ אω, HODx does not contain the powerset of אω. We also prove that this assertion requires large cardinals.
منابع مشابه
The strength of choiceless patterns of singular and weakly compact cardinals
We extend the core model induction technique to a choiceless context, and we exploit it to show that each one of the following two hypotheses individually implies that AD, the Axiom of Determinacy, holds in the L(R) of a generic extension of HOD: (a) ZF + every uncountable cardinal is singular, and (b) ZF + every infinite successor cardinal is weakly compact and every uncountable limit cardinal...
متن کاملHod, V and the GCH
Starting from large cardinals we construct a model of ZFC in which the GCH fails everywhere, but such that GCH holds in its HOD. The result answers a question of Sy Friedman. Also, relative to the existence of large cardinals, we produce a model of ZFC +GCH such that GCH fails everywhere in its HOD.
متن کاملHod-supercompactness, Indestructibility, and Level by Level Equivalence
In an attempt to extend the property of being supercompact but not hod-supercompact to a proper class of indestructibly supercompact cardinals, a theorem is discovered about a proper class of indestructibly supercompact cardinals which reveals a surprising incompatibility. However, it is still possible to force to get a model in which the property of being supercompact but not hod-supercompact ...
متن کاملHod in Inner Models with Woodin Cardinals
We analyze the hereditarily ordinal definable sets HOD in the canonical inner model with nWoodin cardinals Mn(x, g) for a Turing cone of reals x, where g is generic over Mn(x) for the Lévy collapse up to its bottom inaccessible cardinal. We prove that assuming Πn+2determinacy, for a Turing cone of reals x, HODn = Mn(M∞,Λ), whereM∞ is a direct limit of iterates of an initial segment ofMn+1 and Λ...
متن کاملLarge Cardinals and Lightface Definable Well-Orders, without the GCH
This paper deals with the question whether the assumption that for every inaccessible cardinal κ there is a well-order of H(κ+) definable over the structure 〈H(κ+),∈〉 by a formula without parameters is consistent with the existence of (large) large cardinals and failures of the GCH. We work under the assumption that the SCH holds at every singular fixed point of the i-function and construct a c...
متن کامل